Towards a Formalization of the Unified Modeling Language
نویسندگان
چکیده
The Uni ed Modeling Language UML is a language for spec ifying visualizing and documenting object oriented systems UML com bines the concepts of OOA OOD OMT and OOSE and is intended as a standard in the domain of object oriented analysis and design Due to the missing formal mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely de ned This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model
منابع مشابه
Towards a formalization of UML Class Structure in PVS
The Unified Modeling Language (UML) is a language for specifying, visualizing and documenting object-oriented systems, and serves as a standard OO modeling notation. As the semantics of UML constructs is given informally in natural language, it is, for example, difficult to formally reason about correctness of a system design. Formal methods provide a rigor that is lacking in most of OO modelin...
متن کاملTowards a formalization of UML class structures in Z
There is much interest in developing a rm semantic basis for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build precise OO models of behavior and structure that can be rigorously analyzed. In this paper we present the current results of our ongoing formalization of the Uniied Modeling Language (UML)....
متن کاملModeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
This article presents a formalization of parts of the Unified Modeling Language (UML) w.r.t. the domain of modeling time-dependant manufacturing systems. The formalization approach is based upon a set of identified general formalization steps. We investigate the applicability of UML class diagrams, Statecharts, and UML’s textual Object Constraint Language (OCL) to model manufacturing systems an...
متن کاملFormalization of the UML Metamodel: An Approach Based Upon the Four-Layer Metamodeling Architecture
Modeling tools move towards more and more abstract approaches such as metamodels and the four-layer metamodeling architecture. We address modeling tools using the UML metamodel as a core. We propose a fourlayer metamodeling architecture based upon a two-fold structure of metametamodel and metamodel layers. The meta-metamodel layer is populated with a lattice of modeling paradigms that are insta...
متن کاملFormalization of Well-formedness Rules for Uml Use Case Diagram
Unified Modeling Language (UML) is a modeling language for specifying, constructing and documenting the artifacts of the systems. Similar to programming language such as C++ and Java, UML also consists of syntax and semantics. The UML syntax is the graphical notations to draw the UML diagrams and the semantics is the meaning of the notations. The semantics is grouped into two, static or well-fo...
متن کامل